Language software - PDFSEARCH.IO - Document Search Engine

Language software
Results: 21611

#	Item
961	Microsoft Word - OCL2011-2.doc Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2011-11-11 09:24:18 Workflow technology Engineering Software engineering Business Diagrams Process management ISO standards Activity diagram Systems Modeling Language Workflow pattern ECO Workflow
962	Chapter 18 Sentence Processing Jesse Snedeker and Yi Ting Huang 18.1 Introduction Human language comprehension is so effortless that it often appears instantaneous. Add to Reading List Source URL: software.rc.fas.harvard.edu Language: English - Date: 2015-07-02 10:46:16 Academia Cognitive science Cognition Psycholinguistics Applied linguistics Linguistics Sentence processing Psycholinguists American psychologists Reading Language acquisition Language
963	Database Queries that Explain their Work James Cheney Amal Ahmed Umut A. Acar Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-10-03 11:09:09 Software engineering Computer programming Programming language theory Linear algebra Software design patterns Matrix theory Trace Program slicing Monad Substitution FO ALGOL 68
964	Declare Your Language Language Definition with the Spoofax Language Workbench Eelco Visser DSLDI Summer School, Lausanne July 13, 2015 Add to Reading List Source URL: vjovanov.github.io Language: English - Date: 2016-01-20 12:01:38 Software engineering Computing Programming language theory Counter Stratego/XT Row counter Programming language
965	bookConceptualModelling.dvi Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-05-28 09:48:56 Unified Modeling Language Software engineering Computing Data modeling ISO standards Architecture description language Diagrams Knowledge representation ECO Class diagram Object Constraint Language Object diagram
966	Clean Mapping: A sketchy story about how conceptual structure could shape language acquisition and some evidence suggesting that it just might be true Jesse Snedeker Add to Reading List Source URL: software.rc.fas.harvard.edu Language: English - Date: 2015-07-01 13:32:13 Logic Semantics Grammar Linguistics Cognitive science Ray Jackendoff Syntax Theta role Predicate
967	A Theorem Proving Approach to Secure Information Flow in Concurrent Programs (Extended Abstract) Daniel Bruns, Karlsruhe Institute of Technology We present an approach to formally prove secure information flow in multi-t Add to Reading List Source URL: software.imdea.org Language: English - Date: 2015-07-09 06:40:16 Theoretical computer science Logic in computer science Formal methods Mathematical logic KeY Formal verification Dynamic logic Automated theorem proving Logic Language-based security
968	JDK 8: Stream Style Сергей Куксенко , @kuksenk0 The following is intended to outline our general Add to Reading List Source URL: 2013.jokerconf.com Language: English - Date: 2015-02-28 17:19:49 Software engineering Computer programming Control flow Foreach loop Programming language theory
969	Employing Classifying Terms for Testing Model Transformations Add to Reading List Source URL: www.db.informatik.uni-bremen.de Language: English - Date: 2015-09-17 08:36:58 Unified Modeling Language Software engineering Computing Engineering Software testing Systems engineering Software design Scientific modeling Model-based testing ECO Metamodeling Class diagram
970	On recovering multi-dimensional arrays in Polly Tobias Grosser, Sebastian Pop, J. Ramanujam, P. Sadayappan ETH Z¨ urich, Samsung R&D Center Austin, Louisiana State University, Ohio State University 19. January 2015 Add to Reading List Source URL: www.grosser.es Language: English - Date: 2015-08-09 09:14:53 Software engineering Programming language theory Computer programming C++ C Procedural programming languages C++ classes Struct ALGOL 68 Polytope model Array data structure Compatibility of C and C++